nEPT: Sync PDPTR fields if L2 guest in PAE paging mode
authorZhang Xiantao <xiantao.zhang@intel.com>
Tue, 15 Jan 2013 10:23:05 +0000 (11:23 +0100)
committerZhang Xiantao <xiantao.zhang@intel.com>
Tue, 15 Jan 2013 10:23:05 +0000 (11:23 +0100)
commit89f366ba53f52b1a2b0d16c47ac275372ce86ebb
treeea7d14f394ef560ecc9411a557ddf99feb800833
parentb2c0b32f5ad9ce6f280982e37afb444b94ee7d5d
nEPT: Sync PDPTR fields if L2 guest in PAE paging mode

For PAE L2 guest, GUEST_DPPTR registers needs to be synced for each virtual
vmentry.

Signed-off-by: Zhang Xiantao <xiantao.zhang@intel.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Jun Nakajima <jun.nakajima@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
Committed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/hvm/vmx/vvmx.c